Ordinal number - PDFSEARCH.IO - Document Search Engine

Ordinal number
Results: 811

#	Item
11	Energy-Efficient Algorithms for Flow Time Minimization Susanne Albers∗ Hiroshi Fujiwara† Topic classification: Algorithms and data structures Add to Reading List Source URL: www14.in.tum.de Language: English - Date: 2013-11-25 11:02:45 Circuit complexity NC Constructible universe Net Ordinal number Mathematics Creativity Abstraction
12	Motivation The technique of forcing Cohen forcing Lebesgue measure Forcing: How to prove unprovability I Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2015-11-11 09:54:27 Mathematical logic Mathematics Forcing Logic Cardinal numbers Infinity ZermeloFraenkel set theory Continuum hypothesis Aleph number Lebesgue measure Constructible universe Ordinal number
13	Towards a Unified Treatment of Induction (Abstract) Paul Taylor 26 August 1996 induction over the nat-erty of the natural numbers: Mathematical ural numbers has been familiar since Eus Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:52:24 Mathematical logic Mathematics Set theory Category theory Wellfoundedness Constructible universe Topos Universal property Ordinal number Sheaf Mahlo cardinal Symbol
14	629 Documenta Math. Partial Classification of the Baumslag-Solitar Group Von Neumann Algebras Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2014-07-13 08:40:27 Mathematics Algebra Group theory Operator theory Von Neumann algebras Combinatorial group theory Quantum mechanics Abelian von Neumann algebra Presentation of a group Ordinal number Amenable group Hilbert space
15	Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Ordinal numbers Mathematics Abstraction Cardinal numbers Set theory Wellfoundedness Infinity Ordinal arithmetic Transfinite induction Constructible universe Aleph number
16	Typbasierte Programmtransformation Janis Voigtl¨ander Technische Universit¨ at Dresden 14. Juli 2009 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Data types Ordinal number Wellfoundedness Boolean data type Mathematical logic Computing Mathematics Type theory
17	Summary Design of Parallel and High-Performance Computing: Distributed-Memory Models and Algorithms Lecture overview Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2015-12-07 06:55:02 Parallel computing Computing Theory of computation Computer programming NC Matrix multiplication algorithm Bulk synchronous parallel Ordinal number Central processing unit Communication-avoiding algorithms
18	First Round Dutch Mathematical Olympiad Friday, Januari 29, 2010 Solutions A1. D) 19 Add to Reading List Source URL: www.wiskundeolympiade.nl Language: English - Date: 2015-04-10 06:17:56 Geometry Mathematics Triangle Triangle geometry Pythagorean theorem Parallelogram Ordinal number Constructible universe Number Root system
19	Embarrassingly Simple Generation of Free Theorems Stefan Mehner and Janis Voigtl¨ander March 26th, 2014 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Type theory Parametricity Polymorphism Ordinal number Constructible universe Functional programming Proof theory CurryHoward correspondence Net
20	789 Documenta Math. Unramified Skolem Problems and Unramified Arithmetic Bertini Theorems Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-12-22 16:28:49 Field theory Ordinal number Constructible universe Splitting field Generalised Whitehead product Indexed grammar